package real.evaluation;

import real.lang.literal.RealBoolean;

/**
 * Syntactically well formed formula, with free variables
 * @author ewger
 *
 */
public abstract class Formula extends SyntacticalConstruction<RealBoolean>{
	
}